Gspn and Spa Compared in Practice Modelling a Distributed Mail System

نویسندگان

  • Susanna Donatelli
  • Holger Hermanns
  • Jane Hillston
  • Marina Ribaudo
چکیده

Generalized Stochastic Petri Nets (GSPN) and Stochastic Process Algebras (SPA) can both be used to study functionality as well as performance of parallel and distributed systems. In order to provide insight into the similarities and diierences between the formalisms, we study the model construction process in both by means of a large example, a distributed electronic mail system. This comparison of the modelling facilities highlights points where ideas and techniques have been, or can be, exchanged between the two paradigms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Novel Reconfiguration Mixed with Distributed Generation Planning via Considering Voltage Stability Margin

In recent years, in Iran and other countries the power systems are going to move toward creating a competition structure for selling and buying electrical energy. These changes and the numerous advantages of DGs have made more incentives to use these kinds of generators than before. Therefore, it is necessary to study all aspects of DGs, such as size selection and optimal placement and impact o...

متن کامل

From Bcmp Queueing Networks to Generalized Stochastic Petri Nets: an Algorithm and an Equivalence Definition

In this paper we define an algorithm that converts a BCMP queueing network (QN) with multiple classes of customers into a generalized stochastic Petri net (GSPN). Product-form property of BCMP networks is preserved by the GSPN model. The algorithm can be embedded in a hybrid formalisms modelling tool. In fact a product-form model can be partially expressed in terms of queueing network and parti...

متن کامل

Integrating Two Towers and GreatSPN

We describe the integration of the EMPA based software tool TwoTowers and the GSPN based software tool GreatSPN, in order to fully realize a multiparadigm approach to the functional and performance modeling and analysis of concurrent and distributed systems. The integration is achieved via an improved semantics mapping EMPA terms onto GSPN models.

متن کامل

Integrated analytical models for flexible manufacturing systems

Product form queueing networks (PFQN) and generalized stochastic Petri nets (GSPN) have emerged as the principal performance modelling tools for flexible manufacturing systems (FMS). In this paper, we present integrated PFQN-GSPN models, which combine the computational efficiency of PFQN and representational power of GSPN by employing the principle of flow-equivalence. We show that FMS that inc...

متن کامل

Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995